truth-functional negator

Translations
истинностно-функциональный отрицатель
The truth-functional negator negates an entire proposition regardless of its complexity.
Истинностно-функциональный отрицатель отрицает всё предложение независимо от его сложности.